(0
 (
  ("(x 4)" 3 46)
  ("(x 5)" 46 119)
  ("(x 4)" 119 129)
  ("(x 3)" 129 134)
  ("(x 2)" 134 139)
  ("(x 1)" 139 185)
  ("(x 2)" 185 194)
  ("(x 3)" 194 201)
  ("(x 4)" 201 206)
  ("(x 5)" 206 215)
  ("(x 6)" 215 236)
  ("(x stable)" 4 28)
  ("(x down)" 28 65)
  ("(x stable)" 65 96)
  ("(x down)" 96 103)
  ("(x stable)" 103 110)
  ("(x up)" 110 165)
  ("(x down)" 165 236)
  ("(y 1)" 3 47)
  ("(y 2)" 47 53)
  ("(y 3)" 53 58)
  ("(y 4)" 58 64)
  ("(y 5)" 64 113)
  ("(y 4)" 113 120)
  ("(y 3)" 120 132)
  ("(y 2)" 132 160)
  ("(y 3)" 160 166)
  ("(y 4)" 166 173)
  ("(y 5)" 173 183)
  ("(y 6)" 183 213)
  ("(y 5)" 213 236)
  ("(y stable)" 4 28)
  ("(y down)" 28 81)
  ("(y stable)" 81 86)
  ("(y up)" 86 150)
  ("(y stable)" 150 151)
  ("(y down)" 151 197)
  ("(y stable)" 197 199)
  ("(y up)" 199 235)
  ("(y down)" 235 236)
 ))
(1
 (
  ("(x 4)" 3 29)
  ("(x 5)" 29 86)
  ("(x 4)" 86 106)
  ("(x 5)" 106 112)
  ("(x 4)" 112 118)
  ("(x 3)" 118 125)
  ("(x 2)" 125 131)
  ("(x 1)" 131 165)
  ("(x 2)" 165 169)
  ("(x 3)" 169 172)
  ("(x 4)" 172 175)
  ("(x 5)" 175 178)
  ("(x 6)" 178 190)
  ("(x stable)" 4 23)
  ("(x down)" 23 38)
  ("(x stable)" 38 39)
  ("(x down)" 39 46)
  ("(x stable)" 46 74)
  ("(x up)" 74 88)
  ("(x stable)" 88 105)
  ("(x down)" 105 109)
  ("(x stable)" 109 111)
  ("(x up)" 111 149)
  ("(x stable)" 149 150)
  ("(x down)" 150 185)
  ("(x up)" 185 190)
  ("(y 2)" 3 24)
  ("(y 1)" 24 65)
  ("(y 2)" 65 69)
  ("(y 3)" 69 71)
  ("(y 4)" 71 74)
  ("(y 5)" 74 79)
  ("(y 6)" 79 110)
  ("(y 5)" 110 115)
  ("(y 4)" 115 120)
  ("(y 3)" 120 132)
  ("(y 2)" 132 143)
  ("(y 3)" 143 149)
  ("(y 4)" 149 153)
  ("(y 5)" 153 160)
  ("(y 6)" 160 176)
  ("(y 5)" 176 190)
  ("(y up)" 4 53)
  ("(y stable)" 53 56)
  ("(y down)" 56 95)
  ("(y stable)" 95 97)
  ("(y up)" 97 139)
  ("(y down)" 139 168)
  ("(y stable)" 168 170)
  ("(y up)" 170 185)
  ("(y stable)" 185 187)
  ("(y down)" 187 190)
 ))
(2
 (
  ("(x 5)" 3 14)
  ("(x 4)" 14 25)
  ("(x 5)" 25 65)
  ("(x 4)" 65 70)
  ("(x 3)" 70 73)
  ("(x 2)" 73 77)
  ("(x 1)" 77 106)
  ("(x 2)" 106 110)
  ("(x 3)" 110 113)
  ("(x 4)" 113 116)
  ("(x 5)" 116 121)
  ("(x 6)" 121 127)
  ("(x stable)" 4 6)
  ("(x up)" 6 20)
  ("(x stable)" 20 21)
  ("(x down)" 21 44)
  ("(x stable)" 44 50)
  ("(x up)" 50 95)
  ("(x down)" 95 124)
  ("(x up)" 124 127)
  ("(y 1)" 3 24)
  ("(y 2)" 24 27)
  ("(y 3)" 27 29)
  ("(y 4)" 29 32)
  ("(y 5)" 32 38)
  ("(y 6)" 38 52)
  ("(y 5)" 52 59)
  ("(y 4)" 59 65)
  ("(y 3)" 65 73)
  ("(y 2)" 73 88)
  ("(y 3)" 88 93)
  ("(y 4)" 93 98)
  ("(y 5)" 98 108)
  ("(y 6)" 108 116)
  ("(y 5)" 116 127)
  ("(y stable)" 4 6)
  ("(y down)" 6 45)
  ("(y stable)" 45 47)
  ("(y up)" 47 81)
  ("(y stable)" 81 83)
  ("(y down)" 83 111)
  ("(y stable)" 111 114)
  ("(y up)" 114 127)
 ))
(3
 (
  ("(x 4)" 3 16)
  ("(x 5)" 16 87)
  ("(x 4)" 87 92)
  ("(x 3)" 92 95)
  ("(x 2)" 95 99)
  ("(x 1)" 99 129)
  ("(x 2)" 129 132)
  ("(x 3)" 132 135)
  ("(x 4)" 135 137)
  ("(x 5)" 137 144)
  ("(x 6)" 144 145)
  ("(x 5)" 145 148)
  ("(x down)" 4 9)
  ("(x stable)" 9 15)
  ("(x down)" 15 34)
  ("(x stable)" 34 36)
  ("(x down)" 36 43)
  ("(x up)" 43 53)
  ("(x stable)" 53 54)
  ("(x down)" 54 63)
  ("(x stable)" 63 64)
  ("(x down)" 64 71)
  ("(x stable)" 71 78)
  ("(x up)" 78 116)
  ("(x stable)" 116 117)
  ("(x down)" 117 145)
  ("(x up)" 145 148)
  ("(y 2)" 3 6)
  ("(y 1)" 6 45)
  ("(y 2)" 45 49)
  ("(y 3)" 49 51)
  ("(y 4)" 51 54)
  ("(y 5)" 54 58)
  ("(y 6)" 58 79)
  ("(y 5)" 79 87)
  ("(y 4)" 87 93)
  ("(y 3)" 93 101)
  ("(y 2)" 101 109)
  ("(y 3)" 109 115)
  ("(y 4)" 115 119)
  ("(y 5)" 119 127)
  ("(y 6)" 127 139)
  ("(y 5)" 139 148)
  ("(y up)" 4 36)
  ("(y stable)" 36 37)
  ("(y down)" 37 67)
  ("(y stable)" 67 69)
  ("(y up)" 69 105)
  ("(y stable)" 105 106)
  ("(y down)" 106 133)
  ("(y stable)" 133 134)
  ("(y up)" 134 147)
  ("(y stable)" 147 148)
 ))
(4
 (
  ("(x 5)" 3 75)
  ("(x 4)" 75 82)
  ("(x 3)" 82 87)
  ("(x 2)" 87 93)
  ("(x 1)" 93 121)
  ("(x 2)" 121 125)
  ("(x 3)" 125 128)
  ("(x 4)" 128 132)
  ("(x 5)" 132 145)
  ("(x up)" 4 14)
  ("(x stable)" 14 24)
  ("(x down)" 24 35)
  ("(x up)" 35 48)
  ("(x stable)" 48 70)
  ("(x up)" 70 108)
  ("(x stable)" 108 109)
  ("(x down)" 109 139)
  ("(x stable)" 139 140)
  ("(x up)" 140 145)
  ("(y 1)" 3 34)
  ("(y 2)" 34 38)
  ("(y 3)" 38 40)
  ("(y 4)" 40 43)
  ("(y 5)" 43 49)
  ("(y 6)" 49 70)
  ("(y 5)" 70 80)
  ("(y 4)" 80 85)
  ("(y 3)" 85 97)
  ("(y 2)" 97 100)
  ("(y 3)" 100 108)
  ("(y 4)" 108 114)
  ("(y 5)" 114 145)
  ("(y up)" 4 9)
  ("(y stable)" 9 13)
  ("(y up)" 13 20)
  ("(y stable)" 20 22)
  ("(y down)" 22 58)
  ("(y stable)" 58 60)
  ("(y up)" 60 99)
  ("(y down)" 99 125)
  ("(y stable)" 125 127)
  ("(y up)" 127 134)
  ("(y stable)" 134 145)
 ))
(5
 (
  ("(x 5)" 3 45)
  ("(x 6)" 45 64)
  ("(x 5)" 64 70)
  ("(x 4)" 70 74)
  ("(x 3)" 74 80)
  ("(x 2)" 80 89)
  ("(x 1)" 89 121)
  ("(x 2)" 121 125)
  ("(x 3)" 125 128)
  ("(x 4)" 128 132)
  ("(x 5)" 132 144)
  ("(x stable)" 4 9)
  ("(x down)" 9 16)
  ("(x stable)" 16 20)
  ("(x down)" 20 31)
  ("(x stable)" 31 39)
  ("(x down)" 39 54)
  ("(x stable)" 54 57)
  ("(x up)" 57 106)
  ("(x down)" 106 138)
  ("(x stable)" 138 140)
  ("(x up)" 140 144)
  ("(y 1)" 3 27)
  ("(y 2)" 27 31)
  ("(y 3)" 31 34)
  ("(y 4)" 34 38)
  ("(y 5)" 38 44)
  ("(y 6)" 44 67)
  ("(y 5)" 67 72)
  ("(y 4)" 72 77)
  ("(y 3)" 77 84)
  ("(y 2)" 84 103)
  ("(y 3)" 103 107)
  ("(y 4)" 107 112)
  ("(y 5)" 112 144)
  ("(y stable)" 4 12)
  ("(y down)" 12 54)
  ("(y stable)" 54 59)
  ("(y up)" 59 95)
  ("(y stable)" 95 96)
  ("(y down)" 96 122)
  ("(y stable)" 122 126)
  ("(y up)" 126 139)
  ("(y stable)" 139 144)
 ))
(6
 (
  ("(x 6)" 3 13)
  ("(x 5)" 13 63)
  ("(x 4)" 63 71)
  ("(x 3)" 71 76)
  ("(x 2)" 76 80)
  ("(x 1)" 80 111)
  ("(x 2)" 111 115)
  ("(x 3)" 115 119)
  ("(x 4)" 119 123)
  ("(x 5)" 123 136)
  ("(x stable)" 4 13)
  ("(x up)" 13 29)
  ("(x stable)" 29 55)
  ("(x up)" 55 96)
  ("(x stable)" 96 97)
  ("(x down)" 97 135)
  ("(x up)" 135 136)
  ("(y 1)" 3 24)
  ("(y 2)" 24 27)
  ("(y 3)" 27 30)
  ("(y 4)" 30 33)
  ("(y 5)" 33 39)
  ("(y 6)" 39 56)
  ("(y 5)" 56 62)
  ("(y 4)" 62 67)
  ("(y 3)" 67 74)
  ("(y 2)" 74 84)
  ("(y 1)" 84 89)
  ("(y 2)" 89 96)
  ("(y 3)" 96 99)
  ("(y 4)" 99 103)
  ("(y 5)" 103 113)
  ("(y 6)" 113 121)
  ("(y 5)" 121 136)
  ("(y up)" 4 11)
  ("(y down)" 11 47)
  ("(y stable)" 47 49)
  ("(y up)" 49 87)
  ("(y down)" 87 117)
  ("(y up)" 117 131)
  ("(y stable)" 131 134)
  ("(y down)" 134 136)
 ))
(7
 (
  ("(x 4)" 3 18)
  ("(x 5)" 18 40)
  ("(x 6)" 40 59)
  ("(x 5)" 59 68)
  ("(x 4)" 68 76)
  ("(x 3)" 76 87)
  ("(x 2)" 87 92)
  ("(x 1)" 92 124)
  ("(x 2)" 124 129)
  ("(x 3)" 129 133)
  ("(x 4)" 133 137)
  ("(x 5)" 137 144)
  ("(x 6)" 144 153)
  ("(x stable)" 4 11)
  ("(x down)" 11 45)
  ("(x stable)" 45 55)
  ("(x up)" 55 107)
  ("(x stable)" 107 108)
  ("(x down)" 108 150)
  ("(x up)" 150 153)
  ("(y 1)" 3 25)
  ("(y 2)" 25 28)
  ("(y 3)" 28 31)
  ("(y 4)" 31 35)
  ("(y 5)" 35 42)
  ("(y 6)" 42 60)
  ("(y 5)" 60 67)
  ("(y 4)" 67 71)
  ("(y 3)" 71 77)
  ("(y 2)" 77 105)
  ("(y 3)" 105 110)
  ("(y 4)" 110 115)
  ("(y 5)" 115 132)
  ("(y 6)" 132 136)
  ("(y 5)" 136 153)
  ("(y stable)" 4 7)
  ("(y down)" 7 50)
  ("(y stable)" 50 55)
  ("(y up)" 55 94)
  ("(y stable)" 94 95)
  ("(y down)" 95 133)
  ("(y stable)" 133 136)
  ("(y up)" 136 147)
  ("(y stable)" 147 153)
 ))
(8
 (
  ("(x 5)" 3 67)
  ("(x 6)" 67 73)
  ("(x 5)" 73 83)
  ("(x 4)" 83 91)
  ("(x 3)" 91 96)
  ("(x 2)" 96 100)
  ("(x 1)" 100 132)
  ("(x 2)" 132 136)
  ("(x 3)" 136 140)
  ("(x 4)" 140 146)
  ("(x 5)" 146 151)
  ("(x 4)" 151 155)
  ("(x stable)" 4 21)
  ("(x down)" 21 33)
  ("(x stable)" 33 37)
  ("(x up)" 37 48)
  ("(x stable)" 48 54)
  ("(x down)" 54 71)
  ("(x up)" 71 116)
  ("(x stable)" 116 118)
  ("(x down)" 118 149)
  ("(x up)" 149 155)
  ("(y 1)" 3 29)
  ("(y 2)" 29 33)
  ("(y 3)" 33 36)
  ("(y 4)" 36 39)
  ("(y 5)" 39 46)
  ("(y 6)" 46 68)
  ("(y 5)" 68 76)
  ("(y 4)" 76 81)
  ("(y 3)" 81 88)
  ("(y 2)" 88 110)
  ("(y 3)" 110 116)
  ("(y 4)" 116 122)
  ("(y 5)" 122 155)
  ("(y stable)" 4 13)
  ("(y down)" 13 55)
  ("(y stable)" 55 59)
  ("(y up)" 59 102)
  ("(y stable)" 102 103)
  ("(y down)" 103 138)
  ("(y stable)" 138 153)
  ("(y up)" 153 155)
 ))
(9
 (
  ("(x 4)" 3 25)
  ("(x 5)" 25 61)
  ("(x 4)" 61 65)
  ("(x 3)" 65 70)
  ("(x 2)" 70 76)
  ("(x 1)" 76 100)
  ("(x 2)" 100 103)
  ("(x 3)" 103 105)
  ("(x 4)" 105 107)
  ("(x 5)" 107 110)
  ("(x 6)" 110 120)
  ("(x up)" 4 10)
  ("(x stable)" 10 20)
  ("(x down)" 20 35)
  ("(x stable)" 35 56)
  ("(x up)" 56 91)
  ("(x stable)" 91 92)
  ("(x down)" 92 119)
  ("(x up)" 119 120)
  ("(y 1)" 3 24)
  ("(y 2)" 24 28)
  ("(y 3)" 28 30)
  ("(y 4)" 30 33)
  ("(y 5)" 33 40)
  ("(y 6)" 40 47)
  ("(y 5)" 47 58)
  ("(y 4)" 58 62)
  ("(y 3)" 62 67)
  ("(y 2)" 67 85)
  ("(y 3)" 85 88)
  ("(y 4)" 88 92)
  ("(y 5)" 92 99)
  ("(y 6)" 99 120)
  ("(y up)" 4 11)
  ("(y stable)" 11 14)
  ("(y down)" 14 44)
  ("(y up)" 44 77)
  ("(y stable)" 77 78)
  ("(y down)" 78 108)
  ("(y stable)" 108 119)
  ("(y up)" 119 120)
 ))
(10
 (
  ("(x 5)" 3 84)
  ("(x 4)" 84 93)
  ("(x 3)" 93 98)
  ("(x 2)" 98 102)
  ("(x 1)" 102 132)
  ("(x 2)" 132 136)
  ("(x 3)" 136 140)
  ("(x 4)" 140 144)
  ("(x 5)" 144 156)
  ("(x stable)" 4 9)
  ("(x down)" 9 16)
  ("(x stable)" 16 17)
  ("(x down)" 17 24)
  ("(x stable)" 24 35)
  ("(x up)" 35 50)
  ("(x stable)" 50 51)
  ("(x down)" 51 58)
  ("(x stable)" 58 74)
  ("(x up)" 74 116)
  ("(x stable)" 116 118)
  ("(x down)" 118 151)
  ("(x up)" 151 156)
  ("(y 1)" 3 35)
  ("(y 2)" 35 40)
  ("(y 3)" 40 44)
  ("(y 4)" 44 47)
  ("(y 5)" 47 56)
  ("(y 6)" 56 74)
  ("(y 5)" 74 83)
  ("(y 4)" 83 88)
  ("(y 3)" 88 98)
  ("(y 2)" 98 108)
  ("(y 3)" 108 115)
  ("(y 4)" 115 120)
  ("(y 5)" 120 129)
  ("(y 6)" 129 139)
  ("(y 5)" 139 156)
  ("(y stable)" 4 19)
  ("(y down)" 19 61)
  ("(y stable)" 61 71)
  ("(y up)" 71 104)
  ("(y stable)" 104 105)
  ("(y down)" 105 133)
  ("(y stable)" 133 135)
  ("(y up)" 135 152)
  ("(y stable)" 152 155)
  ("(y up)" 155 156)
 ))
(11
 (
  ("(x 5)" 3 58)
  ("(x 4)" 58 96)
  ("(x 3)" 96 102)
  ("(x 2)" 102 111)
  ("(x 1)" 111 139)
  ("(x 2)" 139 142)
  ("(x 3)" 142 144)
  ("(x 4)" 144 147)
  ("(x 5)" 147 156)
  ("(x 6)" 156 160)
  ("(x 5)" 160 161)
  ("(x down)" 4 8)
  ("(x stable)" 8 10)
  ("(x down)" 10 17)
  ("(x stable)" 17 20)
  ("(x down)" 20 27)
  ("(x stable)" 27 41)
  ("(x down)" 41 47)
  ("(x stable)" 47 48)
  ("(x up)" 48 69)
  ("(x stable)" 69 83)
  ("(x down)" 83 90)
  ("(x up)" 90 128)
  ("(x down)" 128 159)
  ("(x up)" 159 161)
  ("(y 2)" 3 18)
  ("(y 1)" 18 54)
  ("(y 2)" 54 57)
  ("(y 3)" 57 60)
  ("(y 4)" 60 62)
  ("(y 5)" 62 67)
  ("(y 6)" 67 90)
  ("(y 5)" 90 96)
  ("(y 4)" 96 100)
  ("(y 3)" 100 109)
  ("(y 2)" 109 116)
  ("(y 3)" 116 122)
  ("(y 4)" 122 127)
  ("(y 5)" 127 135)
  ("(y 6)" 135 157)
  ("(y 5)" 157 161)
  ("(y up)" 4 45)
  ("(y stable)" 45 46)
  ("(y down)" 46 75)
  ("(y stable)" 75 82)
  ("(y up)" 82 113)
  ("(y stable)" 113 114)
  ("(y down)" 114 143)
  ("(y stable)" 143 144)
  ("(y up)" 144 161)
 ))
(12
 (
  ("(x 6)" 3 26)
  ("(x 5)" 26 70)
  ("(x 4)" 70 75)
  ("(x 3)" 75 80)
  ("(x 2)" 80 88)
  ("(x 1)" 88 116)
  ("(x 2)" 116 120)
  ("(x 3)" 120 123)
  ("(x 4)" 123 141)
  ("(x up)" 4 7)
  ("(x stable)" 7 25)
  ("(x up)" 25 46)
  ("(x stable)" 46 66)
  ("(x up)" 66 103)
  ("(x stable)" 103 104)
  ("(x down)" 104 132)
  ("(x stable)" 132 138)
  ("(x up)" 138 141)
  ("(y 1)" 3 33)
  ("(y 2)" 33 37)
  ("(y 3)" 37 40)
  ("(y 4)" 40 43)
  ("(y 5)" 43 50)
  ("(y 6)" 50 67)
  ("(y 5)" 67 73)
  ("(y 4)" 73 77)
  ("(y 3)" 77 85)
  ("(y 2)" 85 96)
  ("(y 3)" 96 102)
  ("(y 4)" 102 107)
  ("(y 5)" 107 118)
  ("(y 6)" 118 126)
  ("(y 5)" 126 141)
  ("(y up)" 4 5)
  ("(y stable)" 5 23)
  ("(y down)" 23 59)
  ("(y stable)" 59 62)
  ("(y up)" 62 91)
  ("(y down)" 91 122)
  ("(y up)" 122 133)
  ("(y stable)" 133 136)
  ("(y up)" 136 141)
 ))
(13
 (
  ("(x 5)" 3 78)
  ("(x 4)" 78 84)
  ("(x 3)" 84 91)
  ("(x 2)" 91 100)
  ("(x 1)" 100 129)
  ("(x 2)" 129 132)
  ("(x 3)" 132 135)
  ("(x 4)" 135 138)
  ("(x 5)" 138 144)
  ("(x 6)" 144 149)
  ("(x stable)" 4 46)
  ("(x up)" 46 53)
  ("(x stable)" 53 73)
  ("(x up)" 73 116)
  ("(x stable)" 116 117)
  ("(x down)" 117 147)
  ("(x stable)" 147 148)
  ("(x up)" 148 149)
  ("(y 1)" 3 37)
  ("(y 2)" 37 40)
  ("(y 3)" 40 43)
  ("(y 4)" 43 46)
  ("(y 5)" 46 52)
  ("(y 6)" 52 68)
  ("(y 5)" 68 80)
  ("(y 4)" 80 86)
  ("(y 3)" 86 97)
  ("(y 2)" 97 104)
  ("(y 3)" 104 110)
  ("(y 4)" 110 115)
  ("(y 5)" 115 123)
  ("(y 6)" 123 136)
  ("(y 5)" 136 149)
  ("(y up)" 4 14)
  ("(y stable)" 14 26)
  ("(y down)" 26 58)
  ("(y stable)" 58 62)
  ("(y up)" 62 101)
  ("(y stable)" 101 103)
  ("(y down)" 103 129)
  ("(y stable)" 129 131)
  ("(y up)" 131 147)
  ("(y stable)" 147 149)
 ))
(14
 (
  ("(x 5)" 3 39)
  ("(x 6)" 39 52)
  ("(x 5)" 52 60)
  ("(x 4)" 60 65)
  ("(x 3)" 65 69)
  ("(x 2)" 69 73)
  ("(x 1)" 73 98)
  ("(x 2)" 98 102)
  ("(x 3)" 102 105)
  ("(x 4)" 105 111)
  ("(x 5)" 111 118)
  ("(x down)" 4 6)
  ("(x stable)" 6 9)
  ("(x up)" 9 20)
  ("(x down)" 20 43)
  ("(x stable)" 43 50)
  ("(x up)" 50 86)
  ("(x down)" 86 117)
  ("(x stable)" 117 118)
  ("(y 1)" 3 21)
  ("(y 2)" 21 24)
  ("(y 3)" 24 26)
  ("(y 4)" 26 29)
  ("(y 5)" 29 34)
  ("(y 6)" 34 50)
  ("(y 5)" 50 56)
  ("(y 4)" 56 60)
  ("(y 3)" 60 66)
  ("(y 2)" 66 82)
  ("(y 3)" 82 86)
  ("(y 4)" 86 91)
  ("(y 5)" 91 118)
  ("(y up)" 4 7)
  ("(y stable)" 7 8)
  ("(y down)" 8 42)
  ("(y stable)" 42 43)
  ("(y up)" 43 75)
  ("(y stable)" 75 76)
  ("(y down)" 76 101)
  ("(y stable)" 101 103)
  ("(y up)" 103 118)
 ))
(15
 (
  ("(x 5)" 3 70)
  ("(x 4)" 70 76)
  ("(x 3)" 76 80)
  ("(x 2)" 80 88)
  ("(x 1)" 88 117)
  ("(x 2)" 117 121)
  ("(x 3)" 121 125)
  ("(x 4)" 125 132)
  ("(x 5)" 132 142)
  ("(x down)" 4 6)
  ("(x stable)" 6 22)
  ("(x up)" 22 32)
  ("(x stable)" 32 41)
  ("(x up)" 41 53)
  ("(x stable)" 53 66)
  ("(x up)" 66 104)
  ("(x stable)" 104 105)
  ("(x down)" 105 140)
  ("(x stable)" 140 142)
  ("(y 1)" 3 32)
  ("(y 2)" 32 35)
  ("(y 3)" 35 38)
  ("(y 4)" 38 41)
  ("(y 5)" 41 47)
  ("(y 6)" 47 61)
  ("(y 5)" 61 71)
  ("(y 4)" 71 76)
  ("(y 3)" 76 86)
  ("(y 2)" 86 94)
  ("(y 3)" 94 100)
  ("(y 4)" 100 107)
  ("(y 5)" 107 129)
  ("(y 6)" 129 132)
  ("(y 5)" 132 142)
  ("(y up)" 4 6)
  ("(y stable)" 6 21)
  ("(y down)" 21 54)
  ("(y stable)" 54 55)
  ("(y up)" 55 91)
  ("(y down)" 91 131)
  ("(y up)" 131 138)
  ("(y stable)" 138 142)
 ))
(16
 (
  ("(x 5)" 3 62)
  ("(x 4)" 62 66)
  ("(x 3)" 66 71)
  ("(x 2)" 71 76)
  ("(x 1)" 76 102)
  ("(x 2)" 102 105)
  ("(x 3)" 105 107)
  ("(x 4)" 107 111)
  ("(x 5)" 111 125)
  ("(x stable)" 4 8)
  ("(x up)" 8 21)
  ("(x stable)" 21 25)
  ("(x down)" 25 37)
  ("(x stable)" 37 45)
  ("(x down)" 45 52)
  ("(x stable)" 52 53)
  ("(x up)" 53 89)
  ("(x stable)" 89 90)
  ("(x down)" 90 117)
  ("(x stable)" 117 121)
  ("(x up)" 121 125)
  ("(y 1)" 3 20)
  ("(y 2)" 20 23)
  ("(y 3)" 23 26)
  ("(y 4)" 26 28)
  ("(y 5)" 28 34)
  ("(y 6)" 34 48)
  ("(y 5)" 48 55)
  ("(y 4)" 55 61)
  ("(y 3)" 61 68)
  ("(y 2)" 68 83)
  ("(y 3)" 83 88)
  ("(y 4)" 88 93)
  ("(y 5)" 93 125)
  ("(y stable)" 4 7)
  ("(y down)" 7 39)
  ("(y stable)" 39 43)
  ("(y up)" 43 77)
  ("(y down)" 77 104)
  ("(y stable)" 104 106)
  ("(y up)" 106 113)
  ("(y stable)" 113 124)
  ("(y up)" 124 125)
 ))
(17
 (
  ("(x 5)" 3 71)
  ("(x 4)" 71 78)
  ("(x 3)" 78 86)
  ("(x 2)" 86 93)
  ("(x 1)" 93 123)
  ("(x 2)" 123 127)
  ("(x 3)" 127 130)
  ("(x 4)" 130 134)
  ("(x 5)" 134 151)
  ("(x stable)" 4 13)
  ("(x down)" 13 20)
  ("(x stable)" 20 22)
  ("(x up)" 22 29)
  ("(x stable)" 29 30)
  ("(x down)" 30 51)
  ("(x stable)" 51 61)
  ("(x up)" 61 109)
  ("(x stable)" 109 110)
  ("(x down)" 110 143)
  ("(x stable)" 143 148)
  ("(x up)" 148 151)
  ("(y 1)" 3 29)
  ("(y 2)" 29 33)
  ("(y 3)" 33 35)
  ("(y 4)" 35 38)
  ("(y 5)" 38 44)
  ("(y 6)" 44 65)
  ("(y 5)" 65 70)
  ("(y 4)" 70 75)
  ("(y 3)" 75 82)
  ("(y 2)" 82 106)
  ("(y 3)" 106 110)
  ("(y 4)" 110 115)
  ("(y 5)" 115 151)
  ("(y stable)" 4 13)
  ("(y down)" 13 53)
  ("(y stable)" 53 57)
  ("(y up)" 57 96)
  ("(y stable)" 96 98)
  ("(y down)" 98 128)
  ("(y stable)" 128 129)
  ("(y up)" 129 139)
  ("(y stable)" 139 150)
  ("(y up)" 150 151)
 ))
(18
 (
  ("(x 5)" 3 72)
  ("(x 4)" 72 78)
  ("(x 3)" 78 83)
  ("(x 2)" 83 89)
  ("(x 1)" 89 122)
  ("(x 2)" 122 125)
  ("(x 3)" 125 128)
  ("(x 4)" 128 132)
  ("(x 5)" 132 146)
  ("(x up)" 4 5)
  ("(x stable)" 5 20)
  ("(x up)" 20 38)
  ("(x down)" 38 45)
  ("(x stable)" 45 66)
  ("(x up)" 66 107)
  ("(x stable)" 107 109)
  ("(x down)" 109 142)
  ("(x stable)" 142 143)
  ("(x up)" 143 146)
  ("(y 1)" 3 32)
  ("(y 2)" 32 36)
  ("(y 3)" 36 38)
  ("(y 4)" 38 41)
  ("(y 5)" 41 47)
  ("(y 6)" 47 63)
  ("(y 5)" 63 70)
  ("(y 4)" 70 76)
  ("(y 3)" 76 84)
  ("(y 2)" 84 101)
  ("(y 3)" 101 106)
  ("(y 4)" 106 110)
  ("(y 5)" 110 119)
  ("(y 6)" 119 132)
  ("(y 5)" 132 146)
  ("(y up)" 4 6)
  ("(y stable)" 6 17)
  ("(y down)" 17 55)
  ("(y stable)" 55 57)
  ("(y up)" 57 93)
  ("(y stable)" 93 95)
  ("(y down)" 95 123)
  ("(y stable)" 123 128)
  ("(y up)" 128 141)
  ("(y stable)" 141 144)
  ("(y up)" 144 146)
 ))
(19
 (
  ("(x 5)" 3 68)
  ("(x 4)" 68 73)
  ("(x 3)" 73 78)
  ("(x 2)" 78 83)
  ("(x 1)" 83 109)
  ("(x 2)" 109 112)
  ("(x 3)" 112 114)
  ("(x 4)" 114 117)
  ("(x 5)" 117 135)
  ("(x down)" 4 5)
  ("(x stable)" 5 29)
  ("(x down)" 29 36)
  ("(x stable)" 36 42)
  ("(x down)" 42 49)
  ("(x stable)" 49 62)
  ("(x up)" 62 97)
  ("(x stable)" 97 98)
  ("(x down)" 98 125)
  ("(x stable)" 125 129)
  ("(x up)" 129 135)
  ("(y 1)" 3 31)
  ("(y 2)" 31 34)
  ("(y 3)" 34 36)
  ("(y 4)" 36 39)
  ("(y 5)" 39 45)
  ("(y 6)" 45 60)
  ("(y 5)" 60 66)
  ("(y 4)" 66 70)
  ("(y 3)" 70 75)
  ("(y 2)" 75 90)
  ("(y 3)" 90 94)
  ("(y 4)" 94 98)
  ("(y 5)" 98 109)
  ("(y 6)" 109 117)
  ("(y 5)" 117 135)
  ("(y up)" 4 17)
  ("(y stable)" 17 22)
  ("(y down)" 22 50)
  ("(y stable)" 50 55)
  ("(y up)" 55 85)
  ("(y down)" 85 113)
  ("(y stable)" 113 114)
  ("(y up)" 114 135)
 ))
(20
 (
  ("(x 5)" 3 65)
  ("(x 4)" 65 68)
  ("(x 3)" 68 72)
  ("(x 2)" 72 79)
  ("(x 1)" 79 108)
  ("(x 2)" 108 112)
  ("(x 3)" 112 115)
  ("(x 4)" 115 119)
  ("(x 5)" 119 137)
  ("(x stable)" 4 23)
  ("(x up)" 23 36)
  ("(x stable)" 36 40)
  ("(x down)" 40 47)
  ("(x stable)" 47 60)
  ("(x up)" 60 95)
  ("(x down)" 95 130)
  ("(x stable)" 130 133)
  ("(x up)" 133 137)
  ("(y 1)" 3 31)
  ("(y 2)" 31 34)
  ("(y 3)" 34 37)
  ("(y 4)" 37 40)
  ("(y 5)" 40 48)
  ("(y 6)" 48 59)
  ("(y 5)" 59 67)
  ("(y 4)" 67 71)
  ("(y 3)" 71 93)
  ("(y 4)" 93 97)
  ("(y 5)" 97 137)
  ("(y stable)" 4 21)
  ("(y down)" 21 52)
  ("(y stable)" 52 56)
  ("(y up)" 56 81)
  ("(y stable)" 81 86)
  ("(y down)" 86 110)
  ("(y stable)" 110 114)
  ("(y up)" 114 130)
  ("(y stable)" 130 136)
  ("(y up)" 136 137)
 ))
(21
 (
  ("(x 5)" 3 60)
  ("(x 4)" 60 66)
  ("(x 3)" 66 70)
  ("(x 2)" 70 77)
  ("(x 1)" 77 105)
  ("(x 2)" 105 109)
  ("(x 3)" 109 112)
  ("(x 4)" 112 115)
  ("(x 5)" 115 123)
  ("(x 6)" 123 135)
  ("(x down)" 4 7)
  ("(x stable)" 7 23)
  ("(x down)" 23 30)
  ("(x stable)" 30 32)
  ("(x up)" 32 39)
  ("(x stable)" 39 55)
  ("(x up)" 55 94)
  ("(x stable)" 94 95)
  ("(x down)" 95 131)
  ("(x stable)" 131 135)
  ("(y 1)" 3 28)
  ("(y 2)" 28 31)
  ("(y 3)" 31 33)
  ("(y 4)" 33 36)
  ("(y 5)" 36 41)
  ("(y 6)" 41 54)
  ("(y 5)" 54 60)
  ("(y 4)" 60 64)
  ("(y 3)" 64 88)
  ("(y 4)" 88 94)
  ("(y 5)" 94 135)
  ("(y up)" 4 8)
  ("(y stable)" 8 17)
  ("(y down)" 17 48)
  ("(y stable)" 48 49)
  ("(y up)" 49 75)
  ("(y stable)" 75 80)
  ("(y down)" 80 108)
  ("(y stable)" 108 116)
  ("(y up)" 116 123)
  ("(y stable)" 123 125)
  ("(y up)" 125 132)
  ("(y stable)" 132 135)
 ))
(22
 (
  ("(x 5)" 3 71)
  ("(x 4)" 71 75)
  ("(x 3)" 75 84)
  ("(x 2)" 84 91)
  ("(x 1)" 91 121)
  ("(x 2)" 121 124)
  ("(x 3)" 124 126)
  ("(x 4)" 126 129)
  ("(x 5)" 129 146)
  ("(x down)" 4 5)
  ("(x stable)" 5 23)
  ("(x down)" 23 30)
  ("(x stable)" 30 33)
  ("(x up)" 33 40)
  ("(x stable)" 40 46)
  ("(x down)" 46 53)
  ("(x stable)" 53 65)
  ("(x up)" 65 106)
  ("(x stable)" 106 107)
  ("(x down)" 107 138)
  ("(x stable)" 138 142)
  ("(x up)" 142 146)
  ("(y 1)" 3 33)
  ("(y 2)" 33 37)
  ("(y 3)" 37 40)
  ("(y 4)" 40 43)
  ("(y 5)" 43 48)
  ("(y 6)" 48 64)
  ("(y 5)" 64 70)
  ("(y 4)" 70 73)
  ("(y 3)" 73 85)
  ("(y 2)" 85 94)
  ("(y 3)" 94 101)
  ("(y 4)" 101 105)
  ("(y 5)" 105 112)
  ("(y 6)" 112 127)
  ("(y 5)" 127 146)
  ("(y up)" 4 7)
  ("(y stable)" 7 21)
  ("(y down)" 21 55)
  ("(y stable)" 55 59)
  ("(y up)" 59 91)
  ("(y stable)" 91 92)
  ("(y down)" 92 120)
  ("(y stable)" 120 121)
  ("(y up)" 121 139)
  ("(y stable)" 139 141)
  ("(y up)" 141 146)
 ))
